Nuprl Definition : w-null
0,22
postcript
pdf
NullMachine == <(
b
,
s
. inr(
)),(
k
,
v
,
s
.
s
),(
k
,
v
,
s
. nil)>
latex
Definitions
inr(
x
)
,
,
<
a
,
b
>
,
x
.
A
(
x
)
,
nil
FDL editor aliases
w-null
origin
b,s. inr(
)),(k,v,s. s),(k,v,s. nil)> b,s. inr()),(k,v,s. s),(k,v,s. nil)> x.A(x)